Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
921	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics
922	Resolving Author Name Homonymy to Improve Resolution of Structures in Coauthor Networks Theresa Velden, Asif-ul Haque, Carl Lagoze Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-06-17 16:34:00 Algorithm Mathematical logic Theoretical computer science
923	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics
924	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
925	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
926	Bounding changes in probability over time: It is unlikely that you will change your mind very much very often Ernest Davis Dept. of Computer Science New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-11-10 13:18:29 Valuation Proof theory Ordinal numbers Logic Transcendental numbers Fast-growing hierarchy Approximately finite dimensional C*-algebra Mathematics Mathematical logic Constructible universe
927	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
928	Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-25 03:52:43 Logic in computer science Subroutines Object-oriented programming Procedural programming languages Eiffel Program logic Postcondition Precondition Function object Software engineering Computing Computer programming
929	Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-02-04 15:45:48 Mathematics Logical syntax Propositional calculus Statements Graphplan Planning Domain Definition Language STRIPS Function Propositional formula Automated planning and scheduling Artificial intelligence Logic
930	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics

UPDATE